$\forall$$T$:Type, ${\it as}$,${\it bs}$:($T$ List). append(${\it as}$; ${\it bs}$) $\in$ ($T$ List)